home *** CD-ROM | disk | FTP | other *** search
/ Informática Multimedia 1995 April / Informatica Multimedia CD - Epimundo.iso / DOS / FILE_CHG / AWK.ZIP / NUMBER.AWK < prev    next >
Encoding:
AWK Script  |  1988-03-06  |  212 b   |  9 lines
  1. BEGIN {
  2.     sign = "[+-]?"
  3.     decimal = "[0-9]+[.]?[0-9]*"
  4.     fraction = "[.][0-9]+"
  5.     exponent = "([eE]" sign "[0-9]+)?"
  6.     number = "^" sign "(" decimal "|" fraction ")" exponent "$"
  7. }
  8. $0 ~ number
  9.